- semantical equivalence
- семантическая эквивалентность
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
semantical equivalence
Смотреть что такое "semantical equivalence" в других словарях:
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
positivism — positivist, adj., n. positivistic, adj. positivistically, adv. /poz i teuh viz euhm/, n. 1. the state or quality of being positive; definiteness; assurance. 2. a philosophical system founded by Auguste Comte, concerned with positive facts and… … Universalium
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… … Wikipedia
John Searle — Infobox Philosopher region = Western Philosophy era = Contemporary philosophy color = #B0C4DE image caption = name = John Rogers Searle birth = July 31, 1932 (age 76) death = school tradition = Analytic notable ideas = Speech acts· Chinese room… … Wikipedia
Donald Davidson (philosopher) — Donald Herbert Davidson Portrait of Donald Davidson by the photographer Steve Pyke in 1990. Full name Donald Herbert Davidson Born 6 March 1917(1917 03 06) Springfield, Massachusetts … Wikipedia
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
Higher-order abstract syntax — In computer science, higher order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.Relation to first order abstract syntaxAn abstract syntax tree is abstract… … Wikipedia
